improve feedback from documentation generation workflow

see also: https://docs.github.com/en/actions/writing-workflows/choosing-what-your-workflow-does/workflow-commands-for-github-actions#setting-a-warning-message

Signed-off-by: Jyrki Gadinger <nilsding@nilsding.org>

diff --git a/.github/workflows/documentation.yml b/.github/workflows/documentation.yml
index 95b71918d8ad728e016b2c7480557972094fe69d..6ffae4d68a15921182fe7df9f888fe353a802a2d 100644 (file)
--- a/.github/workflows/documentation.yml
+++ b/.github/workflows/documentation.yml
@@ -16,6 +16,12 @@ jobs:
           cd doc
           make html > build.log 2>&1
           if grep WARNING build.log; then
+              grep WARNING build.log | awk '{
+                      split($0, fields, ":");
+                      sub("/__w/desktop/desktop/", "", fields[1]);
+                      print "::warning file=" fields[1] ( length(fields[2]) ? ",line=" fields[2] : "" ) ",title=Documentation generation::" substr($0, index($0, fields[4]) + 1)
+                  }'
+
               exit 1
           else
               exit 0